Discrete duality and its application to bounded lattices with operators
نویسندگان
چکیده
Duality theory emerged from the work by Marshall Stone [18] on Boolean algebras and distributive lattices in the 1930s. Later in the early 1970s Larisa Maksimova [10, 11] and Hilary Priestley [15, 16] developed analogous results for Heyting algebras, topological Boolean algebras, and distributive lattices. Duality for bounded, not necessarily distributive lattices, was developed by Alstir Urquhart [19]. Since the 1970s establishing a duality between and class of algebras and a class of (ultrafilter) frames has become an important methodological problem both in algebra and in logic.
منابع مشابه
Distributive lattices with strong endomorphism kernel property as direct sums
Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem 2.8}). We shall determine the structure of special elements (which are introduced after Theorem 2.8 under the name strong elements) and show that these lattices can be considered as a direct product of ...
متن کاملPriestley duality for N4-lattices
We present a new Priestley-style topological duality for bounded N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that for our topological ...
متن کاملA Duality for Quasi Ordered Structures (i)
Recently, several authors extended Priestley duality for distributive lattices [9] to other classes of algebras, such as, e.g. distributive lattices with operators [7], MV -algebras [8], MTL and IMTL algebras [2]. In [5] necessary and sufficient conditions for a normally presented variety to be naturally dualizable, in the sense of [6], i.e. with respect to a discrete topology, have been provid...
متن کاملDuality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that nitely-generated varieties of distributive lattices with operators are closed under canonical embedding...
متن کاملPriestley duality for (modal) N4-lattices
N4-lattices are the algebraic semantics of paraconsistent Nelson logic, which was introduced in [1] as an inconsistency-tolerant counterpart of the better-known logic of Nelson [7, 13]. Paraconsistent Nelson logic combines interesting features of intuitionistic, classical and many-valued logics (e.g., Belnap-Dunn four-valued logic); recent work has shown that it can also be seen as one member o...
متن کامل